นิยาม ของ NOR (ตรรกศาสตร์)

NORเป็นการดำเนินการตรรกะบนค่าตรรกะสองค่า ถ้ามีตัวดำเนินการทางตรรกศาสตร์ 2 ค่า จะใด้ค่า จริง ก็ต่อเมื่อตัวถูกดำเนินการทั้งสองเป็นเท็จ ในกรณีอื่นๆจะให้ค่าเป็น เท็จ ถ้ามีตัวถูกดำเนินการค่าใดค่าหนึ่งเป็นจริงเพียงค่าเดียวหรือเป็นจริงทั้งคู่

ตารางค่าความจริง

ตารางค่าความจริง ของ p NOR q (หรือเขียนตาม p ⊥ q หรือ p ↓ q) เป็นดังนี้:

pq
TTF
TFF
FTF
FFT

แผนภาพเวนน์

แผนภาพเวนน์ของ "A nor B" (ในพื้นที่สีแดงค่าเป็นจริง)


เราสามารถเขียนแทน p NOR q ด้วย p ∨ q ¯ {\displaystyle {\overline {p\lor q}}} , โดยที่สัญลักษณ์ ∨ {\displaystyle \lor } แทน OR และขีดบนแทนสัญลักษณ์นิเสธที่ตรรกะที่แสดงอยู่ภายใต้ ซึ่งเขียนโดยทั่วไปในรูป ¬ ( p ∨ q ) {\displaystyle \neg (p\lor q)} หรือเขียนแทน p NOR q ด้วย p + q ¯ {\displaystyle {\overline {p+q}}}